prove that (a b)^3 = a^3 b^3 3ab(a b)